Software construction - PDFSEARCH.IO - Document Search Engine

Software construction
Results: 3327

#	Item
831	A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-09-27 10:06:58 Static program analysis Programming language implementation Compiler construction Alias analysis Pointer Compiler optimization Abstract interpretation ATS Stack Software engineering Computing Programming language theory
832	Introducing Sage Construction Anywhere Add to Reading List Source URL: www.cpatechnology.net Language: English - Date: 2015-04-03 11:03:26 Sage MAS 90 Software Mathematical software Application software
833	software construction Editors: Dave Thomas and Andy Hunt ■ The Pragmatic Programmers d a v e @ p r a g m a t i c p r o g r a m m e r. c o m ■ a n d y @ p r a g m a t i c p r o g r a m m e r. c o m Nurturing Requireme Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2007-10-31 17:44:24 Systems engineering Software engineering Requirement Systems engineering process Institute of Electrical and Electronics Engineers COBOL Agile software development IEEE Software Software development process Software development Software Software requirements
834	Microsoft Word - CBEAll.doc Add to Reading List Source URL: www.dbnet.ece.ntua.gr Language: English - Date: 2005-12-08 10:50:18 Procedural programming languages Compiler construction Formal languages Compiler Code generation Syntax Parsing Programming language Pascal Software engineering Computing Computer programming
835	Titanium: A High-Performance Java Dialect Kathy Yelick, Luigi Semenzato, Geoff Pike, Carleton Miyamoto, Ben Liblit, Arvind Krishnamurthy, Paul Hilfinger, Susan Graham, David Gay, Phil Colella, and Alex Aiken Computer Sci Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2007-08-03 17:48:46 Compiler construction Parallel computing Programming language implementation Compiler optimizations Programming paradigms Static single assignment form Partitioned global address space Automatic parallelization Unified Parallel C Computing Software engineering Computer programming
836	ArchiCAD17_logos_for_dark_backgorunds Add to Reading List Source URL: www.consoft.ro Language: English - Date: 2014-05-06 08:55:20 3D graphics software Construction Computer-aided design ArchiCAD Graphisoft Workflow Graphisoft BIM Server BIMx Building information modeling Software Graphics software
837	Implementing Semantic Feedback in a Diagram Editor Niklas Fors Görel Hedin Department of Computer Science Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-06-17 11:17:27 Compiler construction Software Attribute grammar EXPRESS Entity-relationship model HTML element Abstract syntax tree Formal grammar Attribute Computing Software engineering Formal languages
838	ArchiCAD17_logos_for_dark_backgorunds Add to Reading List Source URL: www.consoft.ro Language: English - Date: 2014-05-06 08:55:45 Graphics software Architecture 3D graphics software Graphisoft ArchiCAD Data modeling BIMx Workflow Constructor Building information modeling Computer-aided design Construction
839	31 CONNECTION Event Zhenghou Add to Reading List Source URL: ftp2.bentley.com Language: English - Date: 2015-05-27 04:21:39 Software Visual arts Computer-aided design Data modeling Building information modeling Bentley Systems ProjectWise MicroStation Integrated project delivery Building engineering Construction Architecture
840	A2K builds innovation Client: Aurecon AUNZ Add to Reading List Source URL: www.a2ktechnologies.com.au Language: English - Date: 2013-07-12 01:38:12 Software Architecture Revit Construction Visual arts AutoCAD Sydney Autodesk 3D graphics software Building information modeling

UPDATE